More from this Author
Found 13 books by Shaoying Liu (Editor)
Formal Methods and Software Engineering
by Kazuhiro Ogata (Editor), Mark Lawford (Editor), Shaoying Liu (Editor)
Structured Object-Oriented Formal Language and Method
by Shaoying Liu (Editor), Zhenhua Duan (Editor), Cong Tian (Editor), Fumiko Nagoya (Editor)
Structured Object-Oriented Formal Language and Method
by Cong Tian (Editor), Fumiko Nagoya (Editor), Shaoying Liu (Editor), Zhenhua Duan (Editor)
Structured Object-Oriented Formal Language and Method
by Zhenhua Duan (Editor), Shaoying Liu (Editor), Cong Tian (Editor), Fumiko Nagoya (Editor)
Structured Object-Oriented Formal Language and Method
by Shaoying Liu (Editor)
Formal Methods and Software Engineering
by Shaoying Liu (Editor), Tom Maibaum (Editor), Keijiro Araki (Editor)
Structured Object-Oriented Formal Language and Method
by Shaoying Liu (Editor), Zhenhua Duan (Editor)
Structured Object-Oriented Formal Language and Method
by Shaoying Liu (Editor), Zhenhua Duan (Editor)
Structured Object-Oriented Formal Language and Method
by Shaoying Liu (Editor)
Structured Object-Oriented Formal Language and Method
by Huaikou Miao (Editor), Cong Tian (Editor), Shaoying Liu (Editor), Zhenhua Duan (Editor)
Structured Object-Oriented Formal Language and Method
by Shaoying Liu (Editor), Zhenhua Duan (Editor)
Structured Object-Oriented Formal Language and Method
by Shaoying Liu (Editor), Zhenhua Duan (Editor)
Structured Object-Oriented Formal Language and Method
by Shaoying Liu (Editor), Zhenhua Duan (Editor)